Decomposing a Planar Graph into an Independent Set and a 3-Degenerate Graph

We prove the conjecture made by O. V. Borodin in 1976 that the vertex set of every planar graph can be decomposed into an independent set and a set inducing a 3-degenerate graph.