結果 : show that 4 under root 2 is an irrational number