Li-Fan Chen says to YSITD
@newyen2 話說你們會要寫證明嗎