Poincare-Miranda theorem (source code)

= Poincaré-Miranda theorem
{c}
{wiki=Poincaré–Miranda_theorem}

If each component of a continuous map on a box has opposite weak signs on the corresponding pair of faces, the map has a zero.