Изменения

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$ там как-то не оч}}