For, if P > Q in lexicographic order, then P can be transformed into Q by a sequence of steps, each of which reduces one of the numbers mi by one unit and increases another later number mj with i < j by one unit.
Γιατί, αν P > Q σε λεξικογραφική σειρά, τότε η P μπορεί να μετατραπεί σε Q με μια σειρά βημάτων, κάθε ένα από τα οποία μειώνει έναν από τους αριθμούς mi κατά μία μονάδα και αυξάνει έναν επόμενο αριθμό mj με i < j κατά μία μονάδα.