Text this: Análisis de las justificaciones de los teoremas de derivabilidad en los libros de texto desde la Ley General de Educación