droz-farny theorem