Li-Fan Chen says to YSITD
直接用那兩個性質