This condition is necessary since every step in a maximal chain is a covering relation, which should change the rank by 1.
Это условие необходимо, поскольку любой шаг в максимальной цепи является отношением подчинения, которое изменяет ранг на 1.