(lagrange's) four-square theorem - Espagnol Anglais Dictionnaire