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