Killing–Hopf theorem
[sv] Killing–Hopfs sats