>>894
p,qには制約がないから、等号もつくぞ。等号成立条件はp=q