By alternendo, if $a:b = x:y$, then —

• a$a:x = b:y$
• b$a:y = b:x$