デデキントの定理⇒上限公理 https://for-spring.com/analysis/continuity-5/