theorem
  i,j are_coprime iff -i,j are_coprime by NEWTON02:1;
