>>571
そこでの自然数は1以上の流儀と思われ