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.