Fermat's Last Theorem
が非自明な整数解を持たないこと（これよりフェルマーの最終定理の "n" = 4 の場合が導かれる）を、無限降下法によって示している。