is any time-system. First identify it with

. Then

. Hence

, and

is the velocity of the time-system