Jabarkan atau dalam notasi Leibniz: dari Kaidah darab

Kaidah ini ditemukan oleh Gottfried Leibniz yang mendemonstrasikannya dengan menggunakan diferensial. Argumen Leibniz mengatakan: jika u(x) dan v(x) adalah dua fungsi x yang terdiferensialkan, maka diferensial dari uv adalah

Oleh karena (du)(dv) adalah "dapat diabaikan" (i.e. paling tidak kuadratis pada du dan dv), Leibniz berkesimpula bahwa

dan ini merupakan bentuk diferensial dari kaidah darab. Jika kita membaginya dengan dx, kita mendapatkan

yang dapat ditulis dengan "notasi prima" sebagai