proof-writer：數學證明撰寫技能

概述

本技能專注於學術論文中的數學證明撰寫。涵蓋從主張提取、策略選擇到完整 LaTeX 排版的端對端工作流程。所有解釋使用繁體中文，數學表達式與 LaTeX 代碼使用英文。

流程總覽

證明撰寫分為五個階段，依序執行：

主張提取 → 文獻掃描 → 策略選擇 → 逐步推導 → LaTeX 排版

每個階段有明確的輸入、輸出與品質檢查點。以下逐一說明。