それは自然数の性質を使ってるんだよ