(mn+qp)-(mq+np)=m(n-q)+p(q-n)=(m-p)(q-n)
=>
mq+np=(mn+qp)-(m-p)(q-n)
已知
m-p|(mm+qp)
m-p|(m-p)(q-n)
=>
m-p|(mn+qp)-(m-p)(q-n)
即
m-p|(mq+np)