任意にp1,…pr,q1,…,qrをとって証明をしているということであれば、例えばr=1,p1=3,q1=2を与えた場合にも証明が成立していなければならない