Si formula_18, entonces es ya automáticamente formula_13.