so that and is an invertible matrix. Proof that

by definition is invertible so:

so

Then if

Here I can only say if and not if and only if because the product can be 0 even though both matrices are not 0.

I would like to know if I had it all wrong.