Li-Fan Chen
says to
YSITD
「要證明一個數學對象存在就必須把它構造出來」—wiki