theorem Th11: :: SGRAPH1:11
TWOELEMENTSETS {} = {}