Poincaré–Birkhoff theorem (source code)

= Poincaré–Birkhoff theorem
{wiki=Poincaré–Birkhoff_theorem}