se ci fosse una lista ufficiale di livelli per le dimostrazioni matematiche, la dimostrazione per contraddizione sarebbe facilmente di livello S, giusto?