¿Es (raíz(8)-raíz(2))^2 irracional?