Koopman-von Neumann Lemma