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

• a$b:a = d:c$
• b$a:c = b:d$