hello,

proving some predicate over the naturals .

if the following statement holds for my base case, say

and i then assume it to hold for all ,

then i can also assume that holds for all .

i can hence take my inductive hypothesis as

but i already know that holds for all n.

this has got to be cheating right?

thanks for any pointers