ところで、ある程度以上大きくて2^n-1以外の素数ってあるの？
ある程度ていうのも、へんな言い方だけど…