Invariantenring/Multiplikative Systeme/Aufgabe

Erstelle eine Version von Fakt für geeignete multiplikative Systeme.