因为大家证明写得都太复杂了，所以我索性直接综合各家证明整理了一下。
代数群的结构，Borel子群
原文：https://www.cnblogs.com/XiongRuiMath/p/13056434.html
