デデキントの切断？デデキントの定理の証明 https://for-spring.com/analysis/continuity-2/