If a product is a multiple of $4$, I conclude that one of the numbers is a multiple of $2$ the following way:
If $$ab \equiv0\pmod 4$$ then $$ab = 4X = 2(2X) = 2Y$$ (where $Y = 2X$)
This implies that either $a$ or $b$ is a multiple of $2$ so $a$ or $b$ is even.
My question is if this approach is correct or there is a more "formal" way to do it.
Additionally what other conclusions can we draw by knowing that $ab$ is a multiple of $4$?
4
? Can we deduce anything about multiples of 4? Or only about 2? – Jim Dec 11 '20 at 21:23