VamosA=f[G]∩G0⊆G0. Afirmamos queA es denso enG0; i.e.,G0⊆¯A. De hecho, por suposición, cualquieraq∈G0 está enf[G]. Así por...VamosA=f[G]∩G0⊆G0. Afirmamos queA es denso enG0; i.e.,G0⊆¯A. De hecho, por suposición, cualquieraq∈G0 está enf[G]. Así por el Teorema 3 en el Capítulo 3, §16, cualquieraGq cumplef[G]∩G0=A siq∈G0. Por lo tanto