Added the vertex cut theorem file as well as dividing the SCC proof into two file