kolmogorov定理的主要内容