Pitman–Koopman theorem