(a) ( k^ es un número natural ) <=> ( La hipérbola x^ *' y^ =
k^ contiene un punto de semiremolino).
(b) ( k^ es primo ) <=> ( La hipérbola x ^ *' y^ = k^ contiene un
punto de semiremolino y ninguno de remolino).
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.