We first prove the theorem on equivariant embedding of symmetric spaces in Lie groups.

• 首先，我们证明对称空间到李群的等变嵌入定理。