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