5.2.4 步骤的可逆性