Question: a. Write the contrapositive of the following statement: For all integers a, b, and c, where a and c are nonzero, if ax + by = c has a solution in integers, then the greatest common divisor of a and b is a divisor of c.
b. How does the contrapositive of the statement in part (a) help decide whether a given Diophantine equation has a solution?