theorem Th82: :: XREAL_1:82

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