
theorem
  I(01) is open;
