Poincaré–Miranda theorem