4q+1が何かよく知らないけど、たとえpにどんな制限があるとしても、そもそも「pはyの素因数から選んでいる」という前提･仮定だから問題ないんだよ
要は0(p^2-1)=0という式はyの素因数たる全てのpについて成立する、これ自体は矛盾しない
p≠4q+1たるpでそれが成立しようが、もともと仮定に入ってないんだから言及は不要なの、お分かり？