Polynomial ring/Field/Degree/Simple rules/Fact/Proof/Exercise