>>304
それは論理積をとっているということではないでしょうか。
全ての値で成り立つということは明らかにp≠4q+1でも成立してしまうから
矛盾していると考えます。

命題は一部でも誤りがあればその命題は偽であるとするのが数学だと思いますが。