Poincare-Miranda theorem