lichnerowicz-weitzenbock formula