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 .
.