17.14. Lemma
Rákövetkező elem közvetlenségi tétele
Legyenek és a természetes számok halmazának tetszőleges elemei, és jelölje az természetes szám 11.1. Definíció szerinti rákövetkezőjét. Ekkor tetszőleges természetes szám esetén teljesülnek az alábbiak:
1.
Ha , akkor .
2.
Ha , akkor .
♣