Email Record: Fundamentos y aplicaciones de los métodos de demostración en matemática