 Lévy identity for Brownian motion

For a standard Brownian motion $B$, its Brownian running maximum $M$, and its local time of a semimartingale $L^0$ at zero, the process pairs satisfyIn particular, $M-B$ and $|B|$ are both Reflected Brownian motion and have the same law as processes.