theorem :: SGRAPH1:14

for A being non trivial set holds not TWOELEMENTSETS A is empty