theorem :: SGRAPH1:12

for t, u being set st t c= u holds
TWOELEMENTSETS t c= TWOELEMENTSETS u