Li-Fan Chen
says to
YSITD
我把每次左邊的 Lemma 寫明