Talk:Lusternik–Schnirelmann theorem