Set . Its quadratic variation is , which is continuous and tends to infinity almost surely by assumption. The stated stopping time is the inverse clock at level one, so . The Dambis-Dubins-Schwarz theorem gives
The Dambis-Dubins-Schwarz theorem states that if is a continuous local martingale with and , then, for
the process is a standard Brownian motion and . If , one obtains the same representation after enlarging the probability space and continuing independently beyond .
The assertion is true. The Dambis-Dubins-Schwarz theorem, with an independent continuation of the Brownian motion if is bounded, represents
Because is deterministic, every finite vector is a finite vector of a Brownian motion at deterministic times and therefore has a multivariate normal distribution. Hence is a Gaussian process. This is the deterministic quadratic variation characterizes a Gaussian continuous local martingale result.