Demonstrations made by Tamás Kovács

Paths of 1D Brownian motion: here

Paths of 2D Brownian motion: here

Intersection local times of 2D Brownian motion: here