Si z ye multiplo de p alavez ha d'estar: : A on ye un numero que multiplicato por da 1 mod p. Por tanto se puet definir o siguient criterio de divisibilidat: Ye evident que se puet fer un razonamient analogo en qualsiquier atra base.