Li-Fan Chen says to YSITD
不是有程式可以解了