Lie stated that all of the principal results were obtained by 1884.
Lie khẳng định rằng các kết quả chính đã được chứng minh vào năm 1884.