let * be a unital associative binary operation on a set a. prove that if a and b are invertible, then a*b is invertible