Li-Fan Chen
says to
YSITD
我還以為高中數學有邏輯(?