Ну да, правильно, осталось найти эту теорему, а скорее аксиому, в учебнике Погорелова.