Talk:Poincaré separation theorem