0↑が存在しないとして、
p↑(p1,p2),a↑(a1,a2),b↑(b1,b2)として、
p1=ma1+nb1かつp2=ma2+nb2
ってことですよね?
p1が成立させた時、p2も成立するとは限りませんよね?