a) Prove it by contradiction. Prove it by contraposition. \text { Theorem: } \forall a, b, c \in \mathbf{Z} \text { , if } a \backslash 3 c \text {

, then } a \mid b \text { or } b \mid 3 c \text { . }