El algoritmo se basa en el enunciado del contrarrecíproco del mismo teorema