As mod 5 and, we have that . So has an inverse mod 5. Let be this inverse. is a multiple of 5, so is is a multiple of 5 also, and this is congruent mod 5 to (since).
Bilang mod 5 at, Mayroon namin na . Kaya't ay may isang kabaligtaran mod 5. Hayaan ay kabaligtaran na ito. ay isang maramihang ng 5, sa gayon ay ay isang maramihang ng 5 rin, at ito ay kapareho mod 5 sa (since).