Si existiera una lista oficial de niveles para demostraciones matemáticas, la demostración por contradicción sería fácilmente de nivel S, ¿verdad?