La siguiente proposición establece que un punto y un conjunto compacto que no lo contengan pueden ser separados.