Question

(15 points) Prove by contradiction, or disprove, the following two statements. (a) If 1+a² is even, then a³ is odd, where a∈Z; (b) For any non-empty binary relation S on the set A=1,2,3, S is ________.