solvin scc_lemma_1_4: 1_4_3