Satz 11.3 Kurs:Analysis (Osnabrück 2021-2023)/Teil I/Vorlesung 11
Polynomring über Körper/Eine Variable/Division mit Rest/Fakt