In fact, G has a real analytic structure.
実は G は実解析的構造（英語版）を持つ。