Inverse of a unit is a unit