[This theorem was proven long ago, in other ways, but this is my way to prove it.]

Let x and y be two rational numbers on the number line. Since both x and y are rational, both x and y can be written as fractions. All fractions, when written in decimal form, either terminate (such as ¼ = 0.25) or form a repeating pattern (such as 1/3 = 0.333…, repeating). To find an infinite number of irrational numbers between x and y on the number line, simply write both x and y in the form of decimals, and then follow the decimal expansion until the two digits no longer match, as is the case for 0.1111172 and 0.1111173, which match each other, up to the digit 7 in the millionths place, but no further. To generate an infinite number of irrational numbers between x and y, simply examine the part of the decimal expansion of the smaller of the two numbers, x or y, which does not match the other number, and randomly jumble up all of the digits (including trailing zeroes) of the smaller of the two numbers, x or y, after the match-point, changing these digits as well (in random ways), which will result in the creation of an irrational number between x and y. Since there is no limit to the number of decimal places a number may have, this may be done in an infinite number of ways.

[I have now fulfilled my ambition to use the phrase “randomly jumble up” in a formal proof.]