Brownian motion
formula_10是一个布朗运动当且仅当formula_10为鞅，且formula_12也为鞅.