By alternendo, if $a:b = c:d$, then—

Alternendo interchanges the means, transforming $a:b = c:d$ into $a:c = b:d$. The second and third terms swap places.