Talk:Lions’ theorem