Definamos formula_128 por