Fix Lagrange's four-square theorem equation in spec