Redirecting to Donsker's theorem