solved scc_lemma_4