We will show something more, that is,                

Basis : , then

But by definition of .

Induction hypothesis Let the statement hold for all with .