Изменения
Нет описания правки
Проверим обратное:
$y \in (\operatorname{Ker}A^*)^\perp \implies (?) y \in \operatorname{Cl} R(A)$. Пусть это не так: $ y \notin \operatorname{Cl} R(A)$. Рассмотрим $F_1F_{1} =\{z+ty, z \in \operatorname{Cl} R(A), t \in \R\}$
{{TODO|t=мууть}}