Définition
Nombre premier

Un nombre entier est dit premier s’il admet exactement deux diviseurs positifs : 1 et lui-même.

Dire que deux entiers naturels non nuls $a$ et $b$ sont premiers entre eux signifie que leur $\text{PGCD}$ est égal à $1$.