Fermat Last Theorem in the case n = 3
#
The goal of this file is to prove Fermat Last theorem in the case n = 3
.
Main results #
fermatLastTheoremThree_case_1
: the first case of Fermat Last Theorem whenn = 3
: ifa b c : ℕ
are such that¬ 3 ∣ a * b * c
, thena ^ 3 + b ^ 3 ≠ c ^ 3
.
TODO #
Prove case 2.