Leko
says to
YSITD
可數的基準是自然數啊