Kolmogorov theorem, quantization, quantization formula