Oznaka čita se kao " dijeli " te simbolizira da postoji cijeli broj takav da . Tako, primjerice vrijedi , ali ne i . Dokažite da za svaki vrijedi .
Oznaka $a \mid b$ čita se kao "$a$ dijeli $b$" te simbolizira da postoji cijeli broj $k$ takav da $a \cdot k = b$. Tako, primjerice vrijedi $2 \mid 4$, ali ne i $2 \mid 5$. Dokažite da za svaki $n \in \mathbb{N}$ vrijedi $3 \mid n^3+2 n$.