Euler's_four-square_identity