theorem :: ARYTM_0:9

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