Let be an irreducible polynomial over the ring of integer polynomials, such that is not a perfect square.
Hayaan maging isang hindi na mababawasan polinomyal sa ibabaw ng singsing ng polynomials integer, tulad na ay hindi isang perpektong parisukat.