dacă ar exista o listă oficială de niveluri pentru demonstrațiile matematice, demonstrația prin contradicție ar fi ușor de nivel S, nu?