Paragraph

The proof will be by strong induction.

in-context