結果 : prove that 3 root 2 is a rational number