必要条件である条件を代入すると、成り立たなければらなない式になる。
その条件は成り立たなければならないのだから、もと条件は必ず成り立たなければならない。
(a,b,p,n)=(1,1,1,1),(1,1,-2,-2)は両方とも成り立たなければならない。
よって、矛盾が生じる。