El formula_3 se define como 1.