Termination of rewriting and its certification door