theorem
  0 < denominator(p)";
