If a : b = c : d, then according to alternendo property.
According to the closure property for multiplication, if a and b are whole numbers then their product is also a whole number.