Clearly,

and

To prove (6), we must show that (5) holds true. By definition,

Exchanging the summation order and indexes, we have

which proves (5), hence (6).

Moreover, taking the time derivative of (6) yields

Given (4), it follows that .