The computational code of “A formula that generates prime numbers” is analyzed, which was published in Vol. 22, No. 1 of Revista digital Matemática, Educación e Internet and which was presented as a function a(n) given by:Here it is shown that, for each value of n, that formula reduces to a loop of the simplest primality test, that is, by trial division. It is shown, step by step, that a(n) includes operations that can be avoided, such as extracting the fractional part, and two rounding operations. It is concluded that this “formula that generates prime numbers” is actually a non-optimized proof of primality by trial division, since, for example, it does not avoid testing even values of n.Se analiza el código computacional de “Una fórmula que genera números primos”, la cual fue publicada en el Vol. 22, No. 1 de la Revista digital Matemática, Educación e Internet y que fue presentada como una función a(n) dada por:Aquí se muestra que, para cada valor de n, esa fórmula se reduce a un bucle de la prueba de primalidad más simple, es decir, a la prueba de primalidad por división. Paso a paso se muestra que a(n) incluye operaciones que se pueden evitar, como la extracción de la parte fraccionaria, y dos operaciones de redondeo. Se concluye que esa “fórmula que genera números primos” es en realidad una prueba de primalidad por división no optimizada, pues, por ejemplo, no evita probar valores pares de n.