Školjka

%V0 Primjetimo da skup sadrzi tocno $b$ elemenata. Dakle, dovoljno je pokazati da svaka dva elementa daju razlicit ostatak pri djeljenju s $b$. Pretpostavimo da je $ka \equiv la \pmod n$ tada $a(k-l) \equiv 0 \pmod b$ to jest $b | a(k-l)$ No kako imamo da su $a$ i $b$ relativno prosti $b|k-l$. Kako su i $k$ i $l$ manji od $b$, imamo $k=l$. Zato svaka dva elementa skupa daju razlicit ostatak modulo $b$, pa je ovo potpuni sustav ostataka modulo $b$