“…Among other things, foliation change and exchange move introduced in [3,4], and various observations and techniques developed in proving Markov Theorem Without Stabilization (MTWS) [6,7] and usual Markov theorem [5] play crucial roles. In our proof, we use an open book foliation machinery developed in [11,13,14,15] which is a generalization of the braid foliation.…”