Li-Fan Chen says to YSITD
其實我也不太清楚 證明器之類的吧(?