Suppose and are vector-valued functions.

Further assume and and and .

What is when ? It is .

By the product rule for dot products, equals .
At , this means we wish to compute .
In other words, we wish to compute .
But is .
And is .
So the desired sum is .