Justice is therefore a sort of proportion; for proportion is not a property of numerical quantity only, but of quantity in general, proportion being equality of ratios, and involving four terms at least.