if ab=i, then a is invertible