A + B + AB = 0 und wenn E die Einheitsmatrix ist,
E + A + B + AB = E
(E+A) + ( E + A)*B = E
(E + A) * ( E + B ) = E
also besitzt E+A die Inverse E+B und damit ist auch
(E + B) * ( E + A ) = E
E^2 + BE + EA + BA = E
E + B + A + BA = E
B + A + BA = 0
zusammen mit der ersten Gleichung A + B + AB = 0 heißt das
B + A + BA = A + B + AB und wegen der kommutativität der Addition
A + B + BA = A + B + AB | -A -B
BA = AB q.e.d.