Wenn es eine offizielle Rangliste für mathematische Beweise gäbe, wäre der Beweis durch Widerspruch doch ganz klar S-Rang, oder?