Build and check mathematical induction arguments

The task is to prove the conditional implication from P(k) to P(k + 1); the verified base then starts the chain

The desired statement for all n has already been assumed

The step proves P(k + 1) without needing any hypotheses

P(k) may be assumed because every mathematical statement is true