a,b,cを与えられた正の整数とし, aとbは互いに素とする. このとき, aを法としてbに合同な正の整数であって, その全ての素因数がc以上であるようなものが無限個存在することを示せ.