updaated the proof but realized that the proof can not cover the case where a vertex need to be visited multi-times