jos matemaattisille todistuksille olisi virallinen tier-lista, ristiriidan kautta tapahtuva todistus on helposti S-tasoinen, eikö niin?