✍️

Proofs by contradiction with roots