the proof of functional limit theorems, based on the weak convergence of finite