Kategorie:Der chinesische Restsatz für Hauptidealbereiche/Beweise