In recounting the rationals. Is this statement a typo:
Finally, the rightmost vertex of each row has denominator 1, as does the leftmost vertex of the next row, proving the claim.
Did they mean "the numerator of the leftmost vertex of the next row". I'm pretty sure I'm wrong since this is such a popular paper but I don't see how.