Complex Dot Product/Examples/3-4i dot -4+3i/Proof 1