Primes congruent to one #
We prove that, for any positive k : ℕ
, there are infinitely many primes p
such that
p ≡ 1 [MOD k]
.
For any positive k : ℕ
there are infinitely many primes p
such that p ≡ 1 [MOD k]
.
Mathlib.NumberTheory.PrimesCongruentOne
We prove that, for any positive k : ℕ
, there are infinitely many primes p
such that
p ≡ 1 [MOD k]
.
For any positive k : ℕ
there are infinitely many primes p
such that p ≡ 1 [MOD k]
.