by A. D. Aleksandrov and A. N. Kolmogorov