If a : b = c : d, then according to alternendo property
a + b : b = c + d : d
b : a = d : c
a : c = b : d
a : d = b : c
If a : b = c : d, the according to dividendo property