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