Ок, а почему из <tex>\|A^{*}\varphi\| \le \| A \| \|\varphi\| </tex> следует <tex>\| A^{*} \| \le \| A \| </tex>?
== Теорема 1 это какая то муть ==
Обратное включение: мы предполагаем, что <tex>y \notin Cl R(A)</tex>. Окей, потом стоим <tex>F_1</tex>, стоим <tex>\varphi_0</tex> на <tex>F_1</tex>, потом доказываем, что <tex>F_1</tex> замкнуто, чтобы потом продлить <tex>\varphi_0</tex> на <tex>F</tex>. А дальше какая то хрень. Откуда мы вообще знаем как ведет себя <tex>\varphi_0</tex> на элементах <tex>(Ker A^*)^{\perp}</tex>?
