O anexo contém uma descrição de um teorema matemático. Conforme implementado na aplicação de procura rápida.