If magnitudes separated be proportional, they will also be proportional componendo.
lines 74–74 in main.tex