Sin embargo, los métodos indirectos también se pueden utilizar con contraposición, como por ejemplo la prueba por contradicción, por ejemplo, en la prueba de irracionalidad de la raíz cuadrada de 2.