Склеивание римановых многообразий кривизны $\geq\kappa$

Пусть $M$ – результат склеивания двух римановых многообразий $M_0$ и $M_1$ по некоторой изометрии их краев, a $L$ – сумма вторых основных форм общего края $\Gamma$ многообразий $M_0$ и $M_1$ относительно внутренних нормалей. Если многообразия $M_0$ и $M_1$ имеют секционную кривизну $\geq\kappa$, то $M$ является пространством Александрова кривизны $\geq\kappa$ тогда и только тогда, когда форма $L$ неотрицательно определена.