Talk:Poincaré–Birkhoff theorem