代數群的結構，Borel子群

因為大家證明寫得都太復雜了，所以我索性直接綜合各家證明整理了一下。