((a,b),(b,c)) * ((u,v),(v,w))