✍️

Proofs by contradiction with even and odd numbers