Faktorieller Bereich/Quotientenkörper/Gruppenhomomorphismus/Fakt/Beweis