ジョゼフ＝ルイ・ラグランジュ
Both Fermat's assertion and Euler's conjecture were established by Joseph-Louis Lagrange. This more complicate formulation relies on the fact that formula_21 is not a principal ideal domain, contrarily to formula_22 and formula_23