證明證到一半發現一個令人崩潰的錯誤 == ... 公式得重寫Orz軟掉...