2x+5yは>>218で初めて現れた一種の例であってフェルマーの最終定理の簡単な証明とは無関係？