素数が無限個あるのピタゴラスの証明も書いてあるじゃん