"Four color theorem". The earlier diagram was also public domain. In the diagrams it is noted "PD" (public domain) here. I, the copyright holder of this...