De acuerdo con la definición de región esencial,
se verifica:

Sea k_0 un número natural ( k_0 > 4 ). Entonces,

( k_0 es primo ) <=> Es( k_0 ) = Es ( k_0 - 1 )

Fernando Revilla.

P.D. Previos:

1.- Transportando la Aritmética.
2.- Codificando números naturales.
3.- Manteniendo la nomenclatura.
4.- El plano x^ y^.
5.- Hipérbolas en el plano x^ y^
6.- Eligiendo adecuadamente codificaciones de IR^+.
7.- Puntos de remolino.
8.- Puntos de semiremolino.
9.- Caracterizando números primos.
10.- Breve e intuitivo sumario.
11.- Codificación prima de IR^+.
12.- Regiones esenciales.
13.- Clasificando regiones esenciales cuadradas.
14.- Clasificando regiones esenciales triangulares.
16.- El conjunto Es ( k_0 ).

http://groups.google.com/group/es.ci...10da7e9c6b20f8