Talk:Droz-Farny line theorem