해석학(解析學) 용어로 두 함수 f(x), g(x)가 공통의 영역에서 정의되고, 고계도함수가 존재할 때 y=f(x)g(x)라고 하면 y’=f’(x)g(x)+f(x)g’(x)이지만, 일반적으로 다음 정리가 성립한다.    단, f⁽⁰⁾(x) = f(x), g⁽⁰⁾(x) = g(x) 이라 한다. 이것을 라이프니츠의 정리(또는 공식)라고 한다.