If there be as many numbers as we please in proportion, then, as one of the antecedents is to one of the consequents, so will all the antecedents be to all the consequents.
Proof
Discrete analogue of V.12: each pair contributes the same multiple
or part, so the sum does too.