theorem Lemma5: :: PREFER_1:23

for a, b being object st a <> b holds
{[a,b]} is asymmetric