For Finitary Induction-Induction, Induction Is Enough