solving scc_lemma_1_4 : 1_4_3