問題
12で割ると7余る素数が無数に存在することを証明せよ。
(算術級数の素数定理を使わないで示すこと)