Es sei K {\displaystyle {}K} ein Körper und seien V {\displaystyle {}V} und W {\displaystyle {}W} Vektorräume über K {\displaystyle {}K} , wobei W {\displaystyle {}W} endlichdimensional sei. Es sei
eine lineare Abbildung.
Dann gibt es Vektoren w 1 , … , w n ∈ W {\displaystyle {}w_{1},\ldots ,w_{n}\in W} und Linearformen f 1 , … , f n {\displaystyle {}f_{1},\ldots ,f_{n}} auf V {\displaystyle {}V} mit