prove rationals intersperse the integers