theorem Th10:
  i,j are_coprime iff |.i.|,j are_coprime by INT_6:14;
