Maximal Matching Two-Approximation Theorem for Minimum Vertex Cover