Bochner conjecture