关于量的代换(求x1y2,x2y1)