Li-Fan Chen
says to
YSITD
我不確定這裡該稱為 Lemma 還 statement 欸