základy modulárnej aritmetiky, formálny zápis v modulárnej aritmetike
aritmetika na konečné množině přirodzených čísel