>>430
異なる式を差し引きして、pが不定となった場合に、p=4q+1で
なければらなないという条件に矛盾するとなったのですが
何故アウトなのでしょうか?