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