(lagrange's) four-square theorem - Spanish English Dictionary