When we say 'a divides b' (written a | b), what does that mean?
b = a + k for some integer k
b = a \cdot k for some integer k
a = b + k for some integer k
a = b \cdot k for some integer k