theorem :: COUNTERS:46

for x, y being object holds <%x,y%> * <%1,0%> = <%y,x%>