We recognize a result of Schreiner, concerning strictly positive definite functions on a sphere in an Euclidean space,

as a generalization of Bochner's theorem for compact groups.

Appeared in the Proceedings of the AMS, Vol. 129, Number 5, Pages 1459-1462