D.4: Induction worked solutions