Sea formula_6 una cubierta arbitraria de formula_33 y supongamos que formula_25 no se puede cubrir con una cantidad finita de formula_35's.