A soma de um ângulo externo com o seu correspondente vale sempre ​