同じ理由により、自然数に対してが成り立つことが分かる。