Hvis det fantes en offisiell tier-liste for matematiske bevis, er proof by contradiction lett S-tier, ikke sant?