Polynomial ring over a field/One variable/Principal ideal domain/2/Fact