|A+E|=|A+AA'|=|A||E+A'|=|A||(E+A)'|=|A||E+A|,而|A|=-1,所以推出|A+E|=0