The statement is .
Condition(1): n = 1
Condition (1) is satisfied.
Condition(2):
Put n = k
Check when n = k + 1
Substitute .
Condition (2) also satisfied.
The statement is "True".