Pitman-Koopman theorem