This theorem expresses the metric speed of a Wasserstein curve using the Otto [inner product](/page/Inner%20Product) on tangent velocities. It is the formal bridge between the metric definition of speed and the Riemannian language of optimal transport.