Completely positive definite functions and Bochners theorem for locally compact quantum groups

We prove t