Lie group
임의의 콤팩트 반단순 리 군 formula_198에 대하여,