¿Sabías que una poderosa técnica de demostración matemática es la "reducción al absurdo" o prueba por contradicción? Para probar que una afirmación P es verdadera, se asume temporalmente que P es falsa y se sigue una cadena lógica de razonamientos a partir de esa suposición. Si esta cadena lleva a una contradicción lógica (algo imposible, como 1=0), entonces la suposición inicial (que P era falsa) debe ser incorrecta, concluyendo así que P tiene que ser verdadera. Euclides la usó famosamente para probar que existen infinitos números primos.