Изменения
Нет описания правки
$z_{n_k}+t_{n_k}y \to z+ty$ и $z_{n_k}+t_{n_k}y \to z+ty \implies u = z+ty$.
Если допустить, что $t_{n_k} \to \infty$: $z_{n_k}+t_{n_k}y \to u$. $z_{n_k}/t_{n_k} + y \to 0 \implies z_{n_k}/t_{n_k} \to -y \implies -y \in \operatorname{Cl}(R(A)) \implies y \in \operatorname{Cl}(R(A))$ {---} противоречие. $\operatorname{Cl}(F_1) = F_1$. {{TODO|t=муутьto be continued.... А вообще, проверьте, я сам не уверен}}
}}
