This definition of dy presumes some expressions for the subtangent.

• dy的这个定义假定次切线的一些表达式。