Ordering the Reidemeister moves of a classical knot

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.