let e be set ; :: according to MEMBERED:def 5 :: thesis: ( not e in A ++ B or e is integer )
assume e in A ++ B ; :: thesis: e is integer
then ex c1, c2 being Element of COMPLEX st
( e = c1 + c2 & c1 in A & c2 in B ) ;
hence e is integer ; :: thesis: verum