Polynomial ring/Field/Zero/Linear factor/Fact/Proof