The only part of the definition of metric space that might need proving is property 3. But this follows very quickly from the triangle inequality for complex numbers :