Loading paper
The surface of a sufficiently large sphere has chromatic number at most 7 | Tomesphere