Demostración clásica. Prueba que sqrt(2) es irracional