結果 : prove that 4 2 5 3 is a rational number