strong induction

proof by induction but assuming that all \(k < n\) is given.