theorem
  omega is countable;
