La definición de la relación de primalidad que me enseñaron fue que:
Two numbers are relatively prime if the only common positive factor
of the two numbers is one.
Cada entero (excepto el cero) divide a cero y el único factor positivo de uno es uno. Por lo tanto, el único factor positivo de el cero y el uno es uno.
Por lo tanto, parecería que el cero y el uno son relativamente primos por parte de la definición anterior. Por convención, no es éste el caso? es decir, el cero se define como no siendo relativamente primos con cualquier número entero?