Kurs:Elementare Algebra/Zahlentheorie/Primfaktorzerlegung/Existenz/Fakt/Faktreferenznummer

Satz 12.9 (Grundkurs Mathematik (Osnabrück 2022-2023))