Inductive step
= Inductive step
{title2=$P(n)\Rightarrow P(n+1)$}
Assuming the <induction hypothesis> for a fixed integer, establish the next instance. Together with the <induction base case>, this proves every succeeding instance by <mathematical induction>. The hypothesis is conditional within this argument, rather than an unsupported assumption that the desired theorem is already true.