Satz 16.4
Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 16 Restklassenring (Z)/Einheit/Charakterisierung/Teilerfremd/Fakt