>>276
解析に精通していないとね。
有名な「N_J=0 なら Jは積分可能」の証明も、かなり難解な解析らしい。
(某有名な複素幾何の先生に聞いたけど、証明は読んだこと無いと言っていた)