We also define the notions of 1-semisimplicity and maximal compact torus, which are used in the statement of the two theorems, and prove some elementary properties.

• 我们还定义了这两个定理中涉及到的1-半单和极大紧环面的概念，并讨论了它们的基本性质。