Droz-Farny_line_theorem loading ...