17.16. Tétel

Egész számok szigorú rendezése tranzitív

Tetszőleges , és egész számok esetén ha és teljesül, valamint az ennél szigorúbb vagy közül legalább az egyik teljesül, akkor is teljesül.