theorem :: SGRAPH1:15

for a being set holds TWOELEMENTSETS {a} = {}