結果 : prove under root 2 is a rational number