命題． およびに対して，が成立する．□ （証明） まず右半開区間に対して成立することは， による．つまり上のすべての元に対して成立するので， すべてのに対してが成立する． 次にに対して，となることを示す． に注意すると，任意のに対して が成り立つ．…