theorem :: COUNTERS:47

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