 In a finite field, the product of two non-squares is a square; this implies that the polynomial formula_22 which is irreducible over the integers, is reducible modulo every prime number.For example,

Many identities provide an equality between a sum and a product.The above methods may be used for letting the sum side of some identity appear in an expression, which may therefore be replaced by a product.