17. (See exercise 2.) In a remark after the proof of the existence of nonrational numbers, or irrational numbers, it was demonstrated that between any two irrational numbers is a rational and an irrational. Prove by construction, or by contradiction, that in both cases there are infinitely many rationals and irrationals between the two irrational numbers.