再记A= 作P=(e,e,Ae) 0 则有:P引理112II(e,e,N,Ne) 引理1111,24…A,e,A1…A2e) =le,e, Ae, A e I(e, e,e,e) 公理(3)(e;e1 e)公理(2)再记    =   0 0   作 = =  n j j P I e e e e 1 ( , , , ) 则有： = −   n j j j P I e e e e 1 1 引理11.2 ( , , , ) 11.1 ( , , , ) 1 1 1 1 I e e e e n n − − 引理       ( , , , ) 1 I e e e e − =   ) 1 I ( e , e , e , e  =     ) ( 2 ) 1 公理 ( 3 ) I ( e,e,e, e 公理