Kurs:Analysis/Polynomring (Körper)/Nullstellen/Linearer Faktor/Fakt/Faktreferenznummer

Lemma 11.6 (Analysis (Osnabrück 2021-2023))