Kurs:Diskrete Mathematik/Teilbarkeitstheorie (Z)/Lemma von Bezout/Fakt/Faktreferenznummer

Satz 6.1 (Diskrete Mathematik (Osnabrück 2020))