The balanced-combination lemma #
The positive rational barycenter is chosen at the largest centrality. Bounded integer correction then supplies every sufficiently large weight, with its lower fraction and threshold independent of centrality.
The balanced-combination lemma, with the uniform quantifier order in
the statement BalancedCombinationLemma.