5) (6 points) Let P(x) = "x is even" and Q(x) = "x is divisible by 4"| defined over the domain of integers. Express the following predicates using quantifiers P and Q: a. There exists an even integer b. Any integer which is divisible by 4 is also even C. The product of two even numbers is divisible by 4