Observando que m > n implica que H ⊂ H, vemos que la familia de los H’s es una familia de cerrados de B que tiene la propiedad de intersección finita.