8.3.3 基于蜕变关系的正确性归纳推理