The statement is .
Condition(1): n = 1
Condition (1) is satisfied.
Condition(2):
Substitute n = k.
Check the condition for n = k + 1
Substitute .
The statement is "True".