Dos números primos siempre son coprimos?

Dos números enteros a y b son números primos entre sí (o coprimos, o primos relativos), si no tienen ningún factor primo en común, o, dicho de otra manera, si no tienen otro divisor común más que 1 y - 1.

Equivalentemente son primos entre sí, si y sólo si, su máximo común divisor es igual a 1.