Como resultado se tiene que formula_42 para formula_43 ya que si al menos un formula_44 para formula_45 se tendría