let x be complex number ; :: according to MEMBERED:def 25 :: thesis: for y being complex number st x in RAT & y in RAT holds
x + y in RAT
thus for y being complex number st x in RAT & y in RAT holds
x + y in RAT by RAT_1:def 2; :: thesis: verum