Свойство выпуклости функции внешней кривизны поверхности в трехмерном пространстве Лобачевского