another fact that this question or the answer to this question will imply is that if any vertex is an endpoint to a certain number of edges or more, then it must be in the cover, and this could be either k-1, k, k+1, 2k, or k² edges.