theorem
  0 < N + 1;
