Es decir probaremos que √2 es un número real.