According to the theorem, for any two integers x and y, if xy is even, then x and y have the same parity. Which facts are assumed and which facts are proven in a direct proof of the theorem?

A) Assumed: x and y are integers; Proven: xy is even implies x and y have the same parity.
B) Assumed: x and y have the same parity; Proven: xy is even.
C) Assumed: x and y are even integers; Proven: xy is even.
D) Assumed: x and y have different parity; Proven: xy is odd.