Hahn–Kolmogorov theorem