結果 : 1 under root 2 is a rational number