Rákövetkező elem közvetlenségi tétele

Legyenek $n$ és $x$ a természetes számok $\mathbb{N}$ halmazának tetszőleges elemei, és jelölje $s(n)$ az $n$ természetes szám 11.1. Definíció szerinti rákövetkezőjét. Ekkor tetszőleges $x$ természetes szám esetén teljesülnek az alábbiak:

♣

• ↓Alárendelt lap:Bizonyítás