for c being Element of COMPLEX ex r, s being Element of REAL st c = [*r,s*]