Leibniz 則
積の微分法則 - Wikipedia
一般のライプニッツの法則 - Wikipedia
$ (fg)'=f'g+fg'
.
$ d(x\cdot y)=dx\cdot y+x\cdot dy
.