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.