Donsker's theorem

For independent identically distributed increments of mean zero and variance one, the diffusively rescaled, linearly interpolated random walk converges weakly in $C[0,1]$ to Brownian motion.