Este hecho lo representaremos por formula_430.