Tener una definición de demostración formal hace el concepto de demostración ameno de estudiar.