Proof: Closed Odd Walk contains Odd Cycle | Graph Theory