theorem :: XREAL_1:109

for a, b, c, d being Real st b < 0 & 0 < d & a * d < c * b holds
c / d < a / b