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