inductive step

而\itaindex{维持态(maintenance)}则相当于\textbf{归纳步骤(inductive step)}。但是第三步不同，这是非常重要的一点。