Question 7 1 pts Suppose we have a proof with the following proof header: Let & be an arbitrary natural number. Assume that is greater than 3 and that is even (te, that 2 divides z). We will now prove that (2) is true [...proof body omitted...] What is the statement being proven? Va e N,Q(2) Q(2) Va N,x > 3A 2 A Q(2) 3x N, 2 > 3A 22AQ() V2 N, > 3 A210(2)