theorem :: XREAL_1:119

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