Since 2 and 6 hold for arbitrary
-vectors,
it is clear that
and that when one has...
...the Pythagorians knew infinitely many solutions in integers to .
That no non-trivial integer solutions exist for with integers has long
been suspected (Fermat, c.1637). Only during the current decade has this been proved (Wiles, 1995).