Any 7-colorable knot can be colored by four colors

摘要

Any 7-colorable 1-knot has a 7-colored diagram such that exactly four colors of seven are assigned to the arcs of the diagram.