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