The computation terminates only if the final term gives the value of the recursive function applied to the inputs.
Calculul se termină doar dacă ultimul termen dă valoarea funcției recursive aplicată asupra intrării.