Paragraph
The proof will be by strong induction.
in-context