A finite system of integral polynomial equations can be replaced by one equation by summing the squares of all component polynomials. This lets arguments about systems of [Diophantine equations](/page/Diophantine%20Equations) be reduced to arguments about a single equation without changing the integer solution set.