Realizar demostraciones simples de resultados e identificar en una demostración si hay saltos o errores.