theorem Th84: :: XREAL_1:84

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