Li-Fan Chen
says to
YSITD
自然數不是所有整數 <- 然後這句是多餘的