Demostración irracionalidad de raíz de 2