Bochner's theorem (source code)

= Bochner's theorem
{wiki=Bochner's_theorem}