>>310

〇 p=4q+1 ⇒ 0p=0

× p=4q+1 ⇒ 0p=0 ⇒ p は不定 ⇒ よって矛盾