Working on the main induction in the vertex cut/replace_projected_dual execution result lemma
Working on the main induction in the vertex cut/replace_projected_dual execution result lemma: working on the abstract cut problem