theorem Th38: :: XXREAL_3:38

for x, y being ExtReal holds
( x <= y iff - y <= - x )