Terminar demostración y volver