因为 AA' = E
所以
|A+E| = |A+AA'| = |A(E+A')|
= |A| |E+A'|
= |A| |(E+A)'|
= |A| |E+A|
所以 |A+E|(1-|A|) = 0
因为 |A|