Q1[5 marks] Let H={e,x:e(x) halts } (the halting problem), and let A be an arbitrary c.e. set of natural numbers. Prove that ATH. Notice that we are using and instead of usual parentheses to make the halting set a subset of N instead of N2. This is not necessary but I wanted you to learn about the Cantor pairing function..