theorem Th14: :: SQUARE_1:14

for a being Real st 1 < a holds
a < a ^2