theorem Th2:
  1,A are_coprime
by ORDINAL3:37;
