The square of a planar cubic graph is $7$-colorable

We prove the conjecture made by G.Wegner in 1977 that the square of every planar, cubic graph is $7$-colorable. Here, $7$ cannot be replaced by $6$.