()证明进程，并帮助演示了各步骤之间如何相互关系。