poincare separation theorem