Lagrange's Four Square Theorem

GPTKB entity