theorem Lemma11: :: PREFER_1:7

for a, b being set st a <> b holds
{[a,a],[b,b]} misses {[a,b],[b,a]}