不等間隔差分商によるライプニッツ則