Talk:Doignon's theorem