实半单Lie代数的Iwasawa分解的存在性
실반단Lie대수적Iwasawa분해적존재성
Existence of Iwasawa's Decomposition of Real Semisiple Lie Algebras