theorem Th94: :: MEMBER_1:94

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