formula_382 si y solo si formula_7.