q≠0だけ仮定すればいいだろ
p≠0 & q≠0 から矛盾が出て言えるのは p=0 or q=0 だ
それじゃその後が面倒だろ