(February 22, 2018 at 3:19 pm)Jehanne Wrote: The proof/technique in my OP is also in Rosen, Discrete Mathematics, 7th edition.
Point of my thread is that there are things that are counterintuitive, yet provably true! These are sometimes referred to as "veridical paradoxes".
Anyone who has studied math past the level of calculus has seen many of such.
One of my favorites is the Peano space-filling curve:
https://www.youtube.com/watch?v=MaoCp08hznM