  We prove every regular element of a free profinite monoid generates a prime
ideal; in particular the minimal ideal is prime. The latter result was first
proved by Almeida and Volkov using techniques from symbolic dynamics; our proof
is elementary.
