Todo número primo es primo con respecto a
todo número al que no divide.
Sea A un número primo y no divida a B .
Digo que B, A son primos entre sí.
Pues si B, A no son primos entre sí, algún número los dividirá. Divídalos y sea C . Puesto que C divide a B,
pero A no divide a B, entonces C no es el mismo número que A. Y puesto que C divide a B, A, entonces divide
también a A que es primo no siendo el mismo que C; lo cual es imposible; luego ningún número dividirá a
los números B, A.
Por consiguiente, A, B son primos entre sí.
Q. E. D.
.