Bochner theory