Lie group
カルタンの定理 (リー群)