theorem :: COUNTERS:48

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