If am given a ratio I understand that we make that

(so I guess I could write <--> )

I understand how we can prove when we just have two numbers that <--> because you can write = = and the x's just cancel. However after playing with it for a little while I realized we cannot write =

Is the proper definition the following: are in the ratio <--> = =

from which it would follow as a theorem that = ?