A graph has a vertex cover of size 4. What can you conclude?
The graph is 4-colorable
The graph has at most 4 edges
The graph has at most 4 vertices
Every edge has at least one endpoint in any set of 4 vertices