(2^2^100)-1を素因数分解してみて・・・