A^m→A^nが全射ならAの極大イデアルIをとって
A^m⊗A/I→A^n⊗A/Iが全射なA/I加群の準同型を引き起こす
ここでA^m⊗A/IはA/I^m、A^n⊗A/IはA/I^nとA/I加群として同型
さらにA/Iは体なのですなわちこの引き起こされた全射A/I^m→A/I^nはA/Iベクトル空間としての写像でありベクトル空間の次元に関する議論によりm≧n