The French mathematician Paul Lévy proved the following theorem, which gives a necessary and sufficient condition for a continuous R -valued stochastic process X to actually be n -dimensional Brownian motion. Hence, Lévy's condition can actually be used as an alternative definition of Brownian motion.