One direction of this theorem was proved by I. A. Lexell in 1786.
Một hướng của định lý này đã được chứng minh bởi I.A.Lexell năm 1786.