TheoremExplainAgent：面向 LLM 定理理解的多模态解释