theorem Th6:
  1.Z_2 = 1 by INT_3:14;
