TheoremExplainAgent: Hacia explicaciones multimodales para la comprensión de teoremas con LLM