A,B，Cをベクトル空間、ｆ、ｇを線形写像とする。
ｆ：A→B　は単射、ｇ：B→C　は全射で、Im（ｆ）=Ker(g)が成り立つとき、
dmiB=dimA+dimC　が成り立つことを示せ