Este último puede ser probado por la contradicción.