Lineare Gruppenoperation/Invariantenring/Graduiert/Fakt/Beweis

Beweis

Dies folgt unmittelbar aus Fakt.