theorem LM91: :: DUALSP05:1

for d being Real holds |.(sgn d).| <= 1