reserve A,B,C for Ordinal;

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