What you want to do here is to use strong mathematical induction. It turns out that the principle of mathematical induction and the principle of strong mathematical induction are equivalent, so yes you're allowed to do that (as long as you accept mathematical induction).