theorem :: XREAL_1:92

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