Normalmente formula_3 suele ser finito.