שינויים

<math>Tv=0 => T(\Sigma \alpha_i v_i)=0 =>\Sigma \alpha_i T(v_i)=0 => \forall i\ \alpha_i=0 => v=0 => ker(T)=0</math>