The definition of "differential" has the equation
$$dy = f'(x) \; dx$$
or $$dy = \frac{dy}{dx} \; dx.$$
It looks like cancellation, but it isn't really. But it does say that
whenever you have
$$\frac{dy}{dx} = \mbox{crud}$$
you can multiply by $dx$ to get
$$\frac{dy}{dx} \; dx= \mbox{crud} \; dx.$$
Then you can use the equation from the definition of differential to replace
$\frac{dy}{dx} \; dx$ by $dy$. So it's replacement, not cancellation.
Edit: In the definition of "differential", $dx$ and $dy$ are new variables. The equation $dy = f'(x) \; dx$ shows what the relation ship is between those variables and $x$ (and sometimes $y$, too.) If you're given a specific point $(x,y)$ on the graph of $y=f(x)$, then you can think of the origin of the $dx-dy$-plane as being on that point, with the $dx$-axis parallel to the $x-axis$ and the $dy$-axis parallel to the $y$-axis. The $dx-dy$-plane is a little traveling coordinate system that goes along the function. The equation $dy = f'(x) \; dx$ is the equation of a line through the origin of that space.
dtlooks like variable. I think there are some mathematical reasons behind. Just because I don't know how to express that. – hqt Oct 01 '17 at 19:52