שינויים

<math>\forall w\in W \exists \alpha_1,...,\alpha_n:w=\Sigma\alpha_i b_i, \forall i \exists v_i: T(v_i)=b_i => \forall w\in W\exists \v=\Sigma\alpha_i v_i\in V: w=\Sigma\alpha_i b_i=\Sigma\alpha_i T(v_i)= T(\Sigma\alpha_i v_i)=T(v)</math>