Product Rule for Differentials

Theorem

 * $\map \d {x y} = x \rd y + y \rd x$