. . . . . . . . . . "Bochner's theorem" . . . "Bochner\u2019s theorem" . . "Bochner's theorem" .