Školjka

%V0 Primjetimo da skup ima tocno $n$ elemenata. Dakle, dozati da svaka dva daju razlicit ostatak pri djeljenju s $n$. Pretpostavimo da je $a+ i \equiv a+j \pmod n$ tada $i \equiv j \pmod n$, a kako su i $i$ i $j$ manji od $n$, imamo $i=j$ Dakle, svaka dva elementa skupa daju razlicit ostatak modulo $n$, a kako ih je ukupno $n$, radi se o potpuno sustavu ostataka.