theorem :: RELSET_3:52

for z, z1 being Complex holds [z1,(z1 * z)] in multRel (COMPLEX,z)