Proof
(related to Corollary: Primality of the Smallest Non-Trivial Divisor)
This follows immediately from the proof of the existence of prime divisors.
∎
Thank you to the contributors under CC BY-SA 4.0! 
- Github:
-
References
Bibliography
- Landau, Edmund: "Vorlesungen über Zahlentheorie, Aus der Elementaren Zahlentheorie", S. Hirzel, Leipzig, 1927
