Talk:Lichnerowicz formula