for A, B being complex-membered set holds A ** (-- B) = -- (A ** B)