In the work of Cromwell and Dynnikov, grid equivalence is given by the grid moves
commutation, (de-)stabilization and cyclic permutation. This paper gives a proof
that cyclic permutation is a sequence of (de-)stabilization and commutation grid
moves.