lagrange four-square thm