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