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, cujos lados determinam, nesse círculo, um arco de comprimento r. Assim sendo, a soma das medidas dos ângulos internos de um triângulo é igual a