Afortunadamente para las aplicaciones que precisan números primos aleatorios, esto es así.