proof VG∈A{}→AGA=A= G=A+G-A-A A(G-A )AA U=G-A G=A+U-A AUAA AUCGG=A +U-A AUAA,V UEC) VU∈Cmm→G=A+U- A AUAA G=A +u-Uaa +UAA-A AUAaproof  G  A{1} − − − − − G = A + G − A − A A(G − A )AA U G A− = − {1} { | , } n m A G G A U A AUAA U C − − −   = + −   AGA= A G A U A AUAA − − − = + − n m U C    − − − − − G = A +U −UAA +UAA − A AUAA G A U A AUAA − − − = + −