結果 : prove that 3 7 is not a rational number