7. Proof strategies For each of the following statements, write its negation in clear and precise English Then decide whether the original statement or its negation is true, and prove it. (a) There are four consecutive natural numbers whose sum is not divisible by 4 (b) Over nonnegative integers, zVy((y > 0) (2x