Consider the following theorem: if m and n are integers and mn is even, then m is even or n is even. (a) Write the theorem as a single formal proposition with quantifiers over the domain of integers. (b) Write a natural language proof of the theorem