We study Fox colorings of knots that are 13-colorable. We prove that any
13-colorable knot has a diagram that uses exactly five of the thirteen colors that
are assigned to the arcs of the diagram. Due to an existing lower bound,
this gives that the minimum number of colors of any 13-colorable knot is
5.