よく知らんのだが、リジッド解析幾何において管状近傍定理を証明した、
とかいうのは正しかったの？