  We investigate Fox colorings of knots that are 17-colorable. Precisely, we
prove that any 17-colorable knot has a diagram such that exactly 6 among the
seventeen colors are assigned to the arcs of the diagram.
