Properties of complex numbers