 Euler's four-square identity

Euler's four-square identity states that the product of two sums of four squares is itself expressible as a sum of four squares.