a bar times b bar equals ab bar