And then we're going to do the induction step, which is essentialy saying "If we assume it works for some positive integer K", then we can prove it's going to work for the next positive integer, for example K + 1.