== Конец доказательства первого пункта теоремы из двух пунктов ==
<tex>(\lambda-m_+)\|x\| \le \|(\lambda\mathcal{I}-\mathcal{A})x\| \Rightarrow \lambda \in \rho(\mathcal{A})</tex>
Эта стрелка ни разу не очевидна. Или из того, что <tex>(\lambda-m_+)\|x\| \le \|(\lambda\mathcal{I}-\mathcal{A})x\|</tex>, автоматически следует, что <tex>\lambda\mathcal{I}-\mathcal{A}</tex> существует?
