Li-Fan Chen
says to
YSITD
可以拆成這兩條定理