Teorema d'arcorensa

Ël teorema d'arcorensa a fortiss che, dàit n'ansem E, n'element $a\in E$ e na fonsion $h:E\to E$, a-i é un-a e un-a sola fonsion $f:\mathbb {N} \to E$ ch'a sodisfa ël sistema ëd relassion $\left\{{\begin{array}{l}f(0)=a\\\forall x\in \mathbb {N} \ f(x+1)=hf(x)\end{array}}\right.$.