证明p与q互为充要条件.那么如果首先证明必要性的话应该以哪边为条件?哪边为要证结论?