se existisse uma lista oficial de níveis para provas matemáticas, prova por contradição seria facilmente nível S, certo?