Dazu  musst du doch nur nachrechnen, dass
(En −BA)( En +B(En −AB)^(−1) A )  =  En  gilt.
Etwa so:
(En −BA)( En +B(En −AB)^(−1) A ) 
= (En −BA)*En +(En −BA)*B*(En −AB)^(−1) *A )
= En  −BA*En +(En*B −BA*B)*(En −AB)^(−1) *A )
= En  −BA*En +(B*En−BA*B)*(En −AB)^(−1) *A )
= En  −BA*En +B(En−A*B)*(En −AB)^(−1) *A )
= En  −BA*En +B*En*A 
= En  −BA +BA 
= En       q.e.d.