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