解析空間での岡の定理
自明ですか?