theorem :: XREAL_1:90

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