Since (6) or (7d) should 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).