La sumo de la mezuroj de la internaj anguloj de triangulo estas egala al .