Si cumple 1) entonces formula_59 para alguna k-celda formula_25, y 1) implicaría 2) por los teoremas 1 y 3 anteriores.