結果 : square root 2 is a rational number