Para una unidad, si formula_6, entonces formula_7