689
правок
Изменения
м
→Теорема 1
<tex>\forall y \in \operatorname{Cl}(R(A)): \widetilde{\varphi_0}(y) = 0</tex>.
C другой стороны, <tex> \widetilde{\varphi_0}(y) = 1</tex> {{---}} противоречие, т.к. <tex>y \in (\operatorname{Ker}A^*)^\perp \implies </tex>, следовательно, <tex> y \in \operatorname{Cl}(R(A))</tex>.
