First part of the induction is done.