theorem :: COUNTERS:50

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