素数が無限に存在すること Posted on 2020年8月10日2022年4月15日 by furea2 theorem infinite_primes_exists : ∀ (n : ℕ), ∃ p, p ≥ n ∧ prime p (No liked Yet)