kdyby existoval oficiální žebříček pro matematické důkazy, důkaz rozporem by byl snadno S-tier, že?