Koopman–Pitman–Darmois theorem