If two numbers by multiplying any number make certain numbers, the numbers so produced will have the same ratio as the multipliers.
lines 74–74 in main.tex