corrected proof of the Jacobi identity