added more assertions for clarity:  crossMultipliedWhenTheDenominatorsAreUnequal