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