Si H y K son subconjuntos cerrados de un espacio normal X, hay abiertos con clausuras disjuntas, uno de ellos contiene a H y el otro a K.