Изменения
Нет описания правки
$\widetilde{\varphi}\mid _{F_1} = \widetilde{\varphi_0}$
$\forall y \in \operatorname{Cl}(R(A)): \widetilde{\varphi_0}(y) = 0$.
C другой стороны $\widetilde{\varphi_0}(y) = 1$ {{---}} противоречие, т.к. $y \in (\operatorname{Ker}A^*)^\perp \implies y \in \operatorname{Cl}(R(A))$
{{TODO|t=Проверьте, я сам не уверен, особенно в доказательстве $\operatorname{Cl}(F_1) = F_1$ там как-то не оч}}
