Это не теорема, это - АКСИОМА, то есть, утверждение, не требующее доказательства.
В геометрии Римана сумма углов треугольника всегда больше 180 градусов, а в геометрии Лобачевского - всегда меньше
