Pitman–Koopman_theorem loading ...