Изменения

$y \in (\operatorname{Ker}A^*)^\perp \implies (?) y \in \operatorname{Cl} R(A)$. Пусть это не так: $ y \notin \operatorname{Cl} R(A)$. Рассмотрим $<tex> F_{1} = \{ z+tyt*y, z \in \operatorname{Cl} R(A), t \in \R \}$</tex>