Hauptidealbereich/KX/Partialbruchzerlegung/Fakt/Beweis