Entonces podemos, entonces, mostrar que A no debe ser verdad, por contradicción.