Todista: Olkoot $\text{[math]}$ , $\text{[math]}$ ja $\text{[math]}$ kokonaislukuja ja $\text{[math]}$ lukujen $\text{[math]}$ ja $\text{[math]}$ suurin yhteinen tekijä. Kongruenssiyhtälö

\text{[math]}

on ratkeava, jos ja vain jos $\text{[math]}$ jakaa luvun $\text{[math]}$ . Jos yhtälö on ratkeava, sillä on täsmälleen $\text{[math]}$ erisuurta ratkaisua välillä $\text{[math]}$ .