Li-Fan Chen
says to
YSITD
然後她說她不想做純數 我問她這邊純數的定義是什麼 她說就是要證明/推導之類的