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