These two theorems will be derived later from results on nonabelian cohomology.

• 这两个定理将在后面由非交换上同调的结果推出。