Es sei ${\displaystyle {}G}$ eine linear reduktive Gruppe über einem algebraisch abgeschlossenen Körper ${\displaystyle {}K}$, und es seien zwei rationale Darstellungen von ${\displaystyle {}G}$ in die beiden endlichdimensionalen ${\displaystyle {}K}$-Vektorräume ${\displaystyle {}V}$ und ${\displaystyle {}W}$ gegeben. Es sei

${\displaystyle \varphi \colon V\longrightarrow W}$

eine surjektive lineare Abbildung, die mit den Operationen verträglich sei. Zeige

${\displaystyle {}\varphi (V^{G})=W^{G}\,.}$