結果 : under root 2 is a rational number