>>881
まず、 dim(f(V^m))=dim(V^m)-dim(ker(f)) 示せ。
次に、WをV^mの部分空間として
dim(f(W))=dim(W)-dim(ker(f)∩W) を示せ。
最後に W=g(V^l) として (1) の証明を与えてみよ。