En un espacio compacto, una familia de cerrados tiene intersección