Lagrange’s Four-Square Theorem on the Tech Tree