Kurs:Einführung in die mathematische Logik/Zahlentheorie/Primfaktorzerlegung/Existenz/Fakt/Faktreferenznummer

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