theorem :: XREAL_1:156

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