The statement of the law relies on the fact that the Wiener process has an almost surely unique maxima, and so we can define the random variable M which is the time at which the maxima is achieved. i.e. the unique M such that