>>614
>>575に書いてあるとおり
p1=ma1+nb1かつp2=ma2+nb2
p1を成立させれば、p2も成立するとは限らないのでは?