7 Consider the statement: for all integers a and b , if a is even and b is a multiple of 3, then a b is a multiple of 6. Prove the statement. What sort of proof are you using