Bochner–Weitzenböck Formula