58.3 The Reflection Principle
B(T+t)-B(T) is a Brownian motion, for any optional time T, and it is independent from the augmented sigma-field F_T+. As a result: if Brownian motion is (vertically) reflected at any optional time, the resulting reflected process is still a Brownian motion.