Exercise 7.
Consider the statement: for all integers \(a\) and \(b\text{,}\) if \(a\) is even and \(b\) is a multiple of 3, then \(ab\) is a multiple of 6.
Prove the statement. What sort of proof are you using?
State the converse. Is it true? Prove or disprove.