Existe un entorno V de (n, m) tal que para todo (s, t) elemento de
la hipérbola que contiene a (s, t) es diferenciable en s si y solo si
s <> n y t < > m.
Desde luego, por diferenciable en s nos referimos a la función que
representa al grafo de la hipérbola h_(s *' t) en el plano x^ y^.
Llamamos a los mencionados puntos, puntos de remolino. De
esta manera, los puntos de remolino son exactamente los puntos
cuyas coordenadas son números naturales en el plano x^ y^.
Fernando Revilla.
P.S. 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^+.