狄利克雷定理

业余的业余

已知对任意的互质的正整数 $a,m$，存在质数 $p\equiv a\pmod{m}$.

求证: 对任意的互质的正整数 $a,m$, 存在无穷多的质数 $p\equiv a\pmod{m}$.

业余的业余

已解决。需要说明的是狄利克雷定理是无法这样证明的，因为证明它的前提成立的难度并没有降低。