Proved some of the basic lemmas as well as correcting the definition of scc
trying to solve scc_main_lemma_1_2_2OF