Li-Fan Chen
says to
YSITD
然後 Idirs 是學寫proof