Show that if AB = I for A, B in M_n , then BA = I (non-trivial)