Product of Complex Conjugates/Examples/3 Arguments/Proof 1