Kategorie:Der chinesische Restsatz für Hauptidealbereiche/Fakten