Complex Subtraction/Examples/(7 + i) - (4 - 2i)/Proof 1