17.14. Lemma
Rákövetkező elem közvetlenségi tétele
Legyenek n és x a természetes számok \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:
1.
Ha n<x\leq s(n), akkor x=s(n).
2.
Ha n\leq x< s(n), akkor x=n.
♣