theorem Th6:
  i divides 0 & 1 divides i by INT_2:12;
