Polynomial ring/Field/Zeroes/Number/Fact/Proof