初等数学によるフェルマーの最終定理の証明

＞９２９

整数解でない有理数解を持つならば、整数解を持ちます。