Text: (That is, with any other division, some pair of creditors would have its collective share divided incorrectly.)
Entailment: Collective shares are not divided correctly for some creditors.
Contradiction: There is no problem with the division.