Reduction of Independent Set to Vertex Cover