Talk:Killing–Hopf theorem