Li-Fan Chen
says to
YSITD
不然證明寫起來很累欸