The theorem was stated by Arnold Droz-Farny in 1899, but it is not clear whether he had a proof.
Định lý được phát biểu bởi Arnold Droz-Farny năm 1899, nhưng không được chứng minh.