The Kolmogorov-Smirnov theorem states that, for continuous ,
where is a Brownian bridge; the finite-sample law is also independent of continuous . To test , compute
and reject when exceeds the appropriate null quantile.