Om det fanns en officiell tierlista för matematiska bevis, är proof by contradiction lätt S-tier, eller hur?