Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Zahlentheorie/Primfaktorzerlegung/Existenz/Fakt/Faktreferenznummer

Satz 2.6 (Mathematik für Anwender (Osnabrück 2023-2024))