Recíprocamente, supongamos que formula_1 es un conjunto de manera que si formula_4, entonces formula_13.