Li-Fan Chen
says to
YSITD
應該說數學上的證明是論證的一種(?