Linear algebra (Osnabrück 2024-2025)/Polynomial ring/Field/Lemma of Bezout/Fact/Factreferencenumber

Theorem 26.4