Se \(\lambda v = 0\), então \(\lambda = 0\) ou \(v = 0\)

Suponha \(\lambda\neq0\). Então \[v \overset{\text{(M2)}}{=} 1v = (\lambda^{-1}\lambda)v \overset{\text{(M1)}}{=} \lambda^{-1}(\lambda v) = \lambda^{-1}0 = 0,\] pela Proposição 1.7(b).