theorem :: MEMBER_1:84

for F, G being ext-real-membered set holds F ** (-- G) = -- (F ** G)