The proof is by induction on n.
By decreasing induction on p,......
We proceed by induction.
If we apply induction to (3) we see that......
We may require that the point P lie in one of the trees constructed before or during the ith stage of the induction. [Note the subjunctive lie.]