Paragraph

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.

1. Prove the statement. What sort of proof are you using?

2. State the converse. Is it true? Prove or disprove.