Утверждение

Необходимо вынести из определения порядка это утверждения