Suponha que 1 (um ) naval (símbolo n ) seja a medida de um ângulo convexo, menor que um ângulo reto, inscrito em um círculo de raio r. Assim sendo, a soma das medidas dos ângulos internos de um triângulo é igual a :