Изменения
8->forall
'''Шаг 1.''' Пусть <tex>\dim Ker\mathcal{A} = k;\ 0 \leqslant k \leqslant n</tex>
<tex>\{e\}_{i = 1}^{k}</tex> {{---}} базис <tex>Ker\mathcal{A}</tex> <tex>(\mathcal{8} forall e_i : \mathcal{A}e_i = 0\ (i = 1..k))</tex>
Дополним <tex>\{e\}_{i = 1}^{k}</tex> до базиса <tex>X</tex>, получим базис <tex>\{e\}_{i = 1}^{n}</tex>, где <tex>n = \dim X</tex>
