New assumptions Module : Real*Imaginary=Imaginary