Problem 3: Make sure to clearly state the assumptions and all steps in your proof. Every variable that appears in your solution (for the first time) must be paired with an English word equivalent to the existential or universal quantifier, i.e., should be accompanied by a word "every", "some", "all", etc. Prove that for all integers a and b if there exists an integer such that ar? +b = 0(mod 5) then a = b[mod 5) or a = -b(mod 5) or b = 0(mod 5). Problem 3: Make sure to clearly state the assumptions and all steps in your proof. Every variable that appears in your solution (for the first time) must be paired with an English word equivalent to the existential or universal quantifier, i.e., should be accompanied by a word "every", "some", "all", etc. Prove that for all integers a and b if there exists an integer such that ar? +b = 0(mod 5) then a = b[mod 5) or a = -b(mod 5) or b = 0(mod 5)