Fermat's theorem
Lagrange proved that all positive definite forms of discriminant −4 are equivalent. Thus, to prove Fermat's theorem it is enough to find "any" positive definite form of discriminant −4 that represents formula_29. For example, one can use a form