Your proof is incomplete for number 6. You have proven that . But, the reverse inclusion is not true. Consider a non-injective function (such as -1,1)\to(-1,1):x\mapsto x^2" alt="f-1,1)\to(-1,1):x\mapsto x^2" />).

For the second one, are you having trouble? If so, where at?