[0H0] Verificate che nelle definizioni [0GX]↺↻ e [0GY]↺↻ potete equivalentemente usare intorni \(U\) di \(x_ 0\) scelti in un sistema fondamentali di intorni fissato.
