text: Предположим, что секционные кривизны M {\displaystyle M} и M ~ {\displaystyle {\tilde {M}}} всюду удовлетворяют K ( Π ) ⩽ K ~ ( Π ~ ) {\displaystyle K(\Pi )\leqslant {\widetilde {K}}({\widetilde {\Pi }})} , где Π ⊂ T γ ( t ) M {\displaystyle \Pi \subset T_{\gamma (t)}M} — это 2-плоскость, содержащая γ ˙ ( t ) {\displaystyle {\dot {\gamma }}(t)} , а Π ~ ⊂ T γ ~ ( t ) M ~ {\displaystyle {\tilde {\Pi }}\subset T_{{\tilde {\gamma }}(t)}{\tilde {M}}} — 2-плоскость, содержащая γ ~ ˙ ( t ) {\displaystyle {\dot {\tilde {\gamma }}}(t)} .