Given:  

Prove:    

Indirect Proof:

Let us as resume that .

If we take  , then  .

This is contradiction because when ,  .

In both cases, the assumption leads to the contradiction of a known fact. Therefore, the assumption that must be false, which means that is must be true.

The given theorem was proved that is .