Tout rationnel peut s'écrire comme le quotient de deux entiers premiers entre eux.

Un nombre premier qui divise un produit d'entiers divise l'un des facteurs.