Demuestra que si AB = I para A, B in M_n , entonces BA = I (no trivial)