He differentiated the value of any redundant.

• 他对任一赘余值进行微分。