FAC.P.34: Justify why some polynomials are prime over the rational number system.