the rule that the product of the means of a proportion equals the product of the extremes.