Naast de eerstegraads vergelijking ax=b met gehele coëfficiënten
kunnen we ook de verwante vergelijking ax= b mod n, een lineaire
congruentie, bestuderen.
Stelling
Laat a,b gehele getallen zijn.
De vergelijking ax= b mod n is oplosbaar
dan en slechts dan als ggd (a,n) | b.
Indien ggd (a,n) | b, dan zijn er ggd (a,n)
oplossingen modulo n.