Li-Fan Chen says to YSITD
應該說 前者一定成立