Podemos definir ambas usando la recursión final como sigue.