>>773
∀n∈ℕについて
最大の数が同じであるようなn組以上の異なるピタゴラス数が存在する
のでしょうか?