lichnerowicz formula