Li-Fan Chen says to YSITD
有人要幫我檢查一下我有哪個推論有錯ㄇ 我覺得這可以拿來投conf (?