What would you like to understand?

Leibniz notation $\frac{dy}{dx} = \frac{dy}{du}\frac{du}{dx}$ resembles algebraic cancellation, but derivatives are limits, not ordinary fractions. The rigorous justification relies on expressing increments exactly as $\Delta y = [g'(u)+\epsilon]\Delta u$ with $\epsilon \to 0$.

Conditions: Functions are differentiable.; The inner derivative $du/dx$ can be zero.; The argument requires rigorous limit definitions, not informal algebra.

Leibniz notation $\frac{dy}{dx} = \frac{dy}{du}\frac{du}{dx}$ resembles algebraic cancellation, but derivatives are limits, not ordinary fractions. The rigorous justification relies on expressing increments exactly as $\Delta y = [g'(u)+\epsilon]\Delta u$ with $\epsilon \to 0$.

Conditions: Functions are differentiable.; The inner derivative $du/dx$ can be zero.; The argument requires rigorous limit definitions, not informal algebra.