theorem :: COUNTERS:51

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