Als er een officiële ranglijst voor wiskundige bewijzen zou zijn, zou bewijs door tegenspraak gemakkelijk S-tier zijn, toch?