Euler's four-square identity (source code)

= Euler's four-square identity
{wiki=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.