because of the symmetry, we only need to prove let's show by

suppose that is invertible. then there exists such that which gives us:

multiplying (1) by from the left gives us therefore because

thus hence: this shows that is a right inverse of

this time multilpy (1) by from the right to get and so because

thus: and hence i.e. is also a left inverse of Q.E.D.