Paragraph
Thus by the strong induction,
\(P(n)\)
is true for all
\(n \ge 2\text{.}\)
in-context