Satz 32.8
Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 32 Klassische lineare Gruppe/C/Kompakte Untergruppe Zariski dicht/Fakt