theorem Th124: :: XREAL_1:124

for a, b being Real st a < 0 & 0 < b holds
a " < b "