Ël teorema d'arcorensa a fortiss che, dàit n'ansem E, n'element a ∈ E {\displaystyle a\in E} e na fonsion h : E → E {\displaystyle h:E\to E} , a-i é un-a e un-a sola fonsion f : N → E {\displaystyle f:\mathbb {N} \to E} ch'a sodisfa ël sistema ëd relassion