Lagrange's four-square theorem

GPTKB entity