The Pontryagin-van Kampen duality theorem and the Bochner theorem on positive-definite functions are...