Ejemplo de una demostración por contradicción