V.def.9

When three magnitudes are proportional, the first is said to have to the third the duplicate ratio of that which it has to the second.