
theorem
  1.INT.Ring = 1;
