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