theorem
  x in omega iff denominator x = 1 by Def9,Th36;
