si hubiera una lista de niveles oficial para las pruebas matemáticas, la prueba por contradicción fácilmente estaría en el nivel S, ¿verdad?