Weak embedding theorem and a proof of cycle double cover of bridgeless graphs

In this article, we give a positive answer to the cycle double cover conjecture. Ones who are mainly interesting in the proof of the conjecture can only read Sections 2 and 4.