If four magnitudes be proportional, the greatest and least are greater than the remaining two.
Proof
Let a:b=c:d with a greatest. By V.14 b>d, so
considering a−c and d−b or vice versa, the difference a−c
equals b−d in ratio, and rearrangement (with Common Notion 5)
yields a+d>b+c.