Li-Fan Chen says to YSITD
但是不去證明 然後用古典物理還是寫得出來定義