✍️

Proofs by contradiction with miscellaneous examples