This number is a prime.
The sum of the first ten thousand distinct digit positive integers is prime. [Gaydos]
The sum of the first ten thousand distinct digit positive
integers is prime. [Gaydos]