Ordering the Reidemeister moves of a classical knot

Alexander Coward

We show that any two diagrams of the same knot or link are connected by a sequence of Reidemeister moves which are sorted by type.