Bochner Formula for the Witten Laplacian