Theorem 1: if
x
> 1, then
x
2
>
x
.