starting to solve scc_main_lemma_1_3