Poincaré separation theorem