Polynomial ring/Field/Lemma of Bezout/Coprime/Fact/Proof

Proof

This follows directly from fact.