theorem Th11: :: SGRAPH1:11

TWOELEMENTSETS {} = {}