Complex Arithmetic/Examples/1 2^-1 (4-3i) + 3 2^-1 (5+2i)/Proof 1