theorem Th44: :: SQUARE_1:44

for a, x being Real st a <= 0 & x < a holds
x ^2 > a ^2