Restklassenring (Z)/Einheit/Charakterisierung/Teilerfremd/Fakt/Beweis2