Demostró que la raíz cuadrada de 2 es un número irracional.