Persons entering noncore marriages could not produce more together
than the sum of their incomes in the core. For, if they could, and if any
division of output between mates were feasible, they could find a division
of their output that would make each better off, a contradiction of the
definition of the core. If the sorting along the diagonal were in the core,
this condition states that