Har vi en ligning som får vi en hel række løsninger, da . Det at vi får en hel klasse af løsninger, fører os over i begrebet restklasser:
Ud fra definitionen og det vi ved om kongruens, kan vi skrive at og ligger i samme restklasse modulus sådan her:
(2.3) |
(2.4) |