Partitioning a graph into a cycle and an anticycle, a proof of Lehel's conjecture