z1z2=x1x2-y1y2+(x1y2+x2y1),