Therefore, semi-continuity can be used to prove continuity.
従って、半連続性を連続性の証明に利用できる。