theorem :: COUNTERS:49

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