結果 : show that root 2 is not a rational number