Kolmogorov extension theorem