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.