theorem :: COUNTERS:53

for x, y, z being object st x <> y & x <> z & y <> z holds
<%x,y,z%> is one-to-one