koenigs-poincare theorem