In the video "proof" for the cut property, it is being suddenly assumed that the disjoint sets S and V \ S are connected subgraphs. Where did this assumption come from, and is it really necessary for proving the cut property?