Poincaré–Birkhoff theorem
In symplectic topology and dynamical systems, Poincaré–Birkhoff theorem states that every area-preserving, orientation-preserving homeomorphism of an annulus that rotates the two boundaries in opposite directions has at least two fixed points.