Text: "Any product of two sums of eight squares is itself the sum of eight squares."

See Also:

Source: 164