Poincaré–Miranda theorem

The Poincaré–Miranda theorem is a result in topology that relates to the existence of continuous choices of functions under certain conditions. It is often used in the context of multiple variables and can be seen as a generalization of the intermediate value theorem for higher-dimensional spaces.