Complex Conjugation/Rules/Fact/Proof/Exercise