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".
Point of my thread is that there are things that are counterintuitive, yet provably true! These are sometimes referred to as "veridical paradoxes".