You don't need to use induction here.