(後只人季 aGG 11E11+…X11n x21E21+…+x2n2E2n2 (x31t1+…+xsn,Esn)=a1+a2+…+ s,t∈W1(i=1,2,…,s) 且表示方法唯一所以 W1+W2+…+Ws=W1eW2⊕…Ws