theorem Th49: :: SQUARE_1:49

for a, b being Real st - a <= b & b <= a holds
b ^2 <= a ^2