El caso base formula_31 es correcto.