That which is just, then, requires that there be four terms at least, and that the ratio between the two pairs be the same, i.e. that the persons stand to one another in the same ratio as the things.

Let us say, then, a ÷ b = c ÷ d , or alternando, a ÷ c = b ÷ d .