Taking in (c) and using that has no atom at gives
This is the distribution function of the Brownian first-passage time; (b) ensures that it is a proper probability distribution. Comparing these distribution functions gives the Brownian scaling identity for .
For an integer , set and successively hit the levels . The Strong Markov property at these finite stopping times and spatial translation imply that
are independent random variables, each with the probability distribution of . Thus, for independent copies ,
Therefore
The paper's definition is the strictly stable distribution convention, with no centering term, a special case of a stable distribution.
A probability distribution is strictly stable with index if for every positive integer , for independent copies. Here no centering term is allowed, unlike in the general definition of a stable distribution.