Question: Use the facts that the negation of a ∀ statement is a ∃ statement and that the negation of an if-then statement is an and statement to rewrite each of the statements without using the word necessary or sufficient. Being divisible by 8 is not a necessary condition for being divisible by 4.