Li-Fan Chen
says to
YSITD
那證明的方式通常會是構造出他