Si F es cerrado y C es compacto, hay una vecindad U del neutro e tal que