https://123dok.net/document/zlg161rl-characterization-unitary-processes-independent-stationary-increments.html