Кинематики кривизны не больше $K$

Доказываются оценки для углов между длиннейшими в кинематиках кривизны не больше $K$. Доказано, что угол между длиннейшими является неубывающей функцией, а угол поворота – невозрастающей. Если угол поворота треугольника совпадает с углом поворота развертки, то такой треугольник оказывается изометричным треугольнику в пространстве постоянной кривизны.
Библ. 3.