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