Li-Fan Chen
says to
YSITD
然後接著再證明這兩條