Lineare Gruppenoperation/Invariantenring/Graduiert/Fakt/Beweis