Four pages are indeed necessary for planar graphs | Publicación