Linear algebra (Osnabrück 2024-2025)/Polynomial ring/Field/One variable/Euclidean division/Fact/Factreferencenumber

Theorem 19.4