Así que demostración por contraposición es en cierto sentido "al menos tan difícil de formular" como demostración por contradicción.