Implemented the first level of the induction for proving scc_main_lemma