for A being finite set st card A >= 2 holds
for a being Element of A ex b being Element of A st b <> a