Primes with digits in nondecreasing order: Difference between revisions