Lichnerowicz–Obata theorem