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