Def ricorsiva di potenza(m,n) = m^n

Base: ∀m potenza(m, 0) = g(m) = 1

Passo: ∀m ∀n potenza(m, n+1) = h(n, m, potenza(m, n)) = potenza(m, n) x m

Def ricorsiva di somme(n) = 0 + 1 + ... + n

Base: somme(0) = g = 0

Passo: ∀n somme(n + 1) = h(n, somme(n)) = somme(n) + n + 1