Skrytý text:Mozme skumat vyraz

. Zo zakladnej modularnej aritmetiky vieme, ze nam staci skumat iba

a z malej Fermatovej vety vieme, ze nam staci skumat

. Cize mame

moznosti pricom niektore su trivialne ako napr.

. Ked ich vyskusame, tak dostaneme dve riesenia toho, ze nas vyraz je kongruentny s

.
1)

a
2)

a

teda mame
1)

a

2)

a

Z cinskej vety o zvyskoch vieme, ze tie systemy aju jednoznacne riesenia

, ktore mozme najst trebars aj preskumavanim moznosti alebo tipovanim - teda na zaver mame, ze

alebo

.