ベールのカテゴリー定理の証明の内部でそれ使うんじゃないの?