The Poincare-Birkhoff theorem