a. Write a proof for the conjecture using the contrapositive. If 5x + 7 = -13, then x = -4.
b. Write a proof for the biconditional using the conditional and converse.