Polynomial ring/Field/One variable/Euclidean division/Fact/Proof