Li-Fan Chen
says to
YSITD
就 證明程式的性質或相等之類的