CPS: theorem