Prove that if two 2s complement numbers are added, the overflow but is the XOR of the carry-in and carry-out of the MSB (most significant bit). Full clear solution.

Bonus Question Prove that if two 2's complement numbers are added, the overflow bit is the XOR of the carry-in and carry-out of the most significant bit