Complex numbers/Field/Fact/Proof/Exercise