Li-Fan Chen
says to
YSITD
非構造性證明就不用實作後