Este hecho lo representaremos por formula_15.