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 ).