Kurs:Elementare Algebra/Faktorieller Bereich/Primfaktorzerlegung/KgV und ggT/Fakt/Faktreferenznummer

Korollar 9.10 (Elemente der Algebra (Osnabrück 2024-2025))