1: \begin{definition}\label{Defn:reduceddiagram}

2: A knot diagram is \emph{reduced} if there does not exist a region in the associated graph which abuts itself at a vertex.  At each vertex, four regions meet;  in a reduced diagram, they must be four distinct regions.  If a diagram is un--reduced, there is a move similar to a Reidemeister type I move with some possibly non-trivial part of the knot diagram on either side, which can be made.  Take a closed curve inside the region which abuts itself, which starts and ends at the crossing.  By the Jordan Curve Theorem this divides $S^2$ into two discs, each containing a part of the knot diagram.  To remove the offending crossing, lift one of the parts up to $S^3$ and rotate it by $\pi$ radians, before projecting down again.  This constitutes an isotopy of the knot.  Thus any knot has a reduced diagram.\\

3: Figure \ref{Fig:reduceddiagram} shows some un--reduced diagrams.  Note that the region which abuts itself can be an inside region, or it can be the region ``outside'' the knot diagram.

4: \qed \end{definition}

5: