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