euler four-square identity