Consider two integers [tex] x,y [/tex]. We say that [tex] x[/tex] is a multiple of [tex] y [/tex] if [tex] x [/tex] is evenly divisible by [tex] y [/tex]:
[tex] \dfrac{x}{y} = k,\quad x,y,k \in \mathbb{Z} [/tex]
Alternatively, we can say that [tex] x[/tex] is a multiple of [tex] y [/tex] if there exists an integer [tex] k [/tex] such that [tex] x = ky [/tex]
So:
