Li-Fan Chen
says to
YSITD
假設 x 屬於自然數