Este hecho lo representaremos por formula_9.