解析空間での定理
自明なら証明してくれ