let e be set ; :: according to MEMBERED:def 4 :: thesis: ( not e in -- A or e is rational )
assume e in -- A ; :: thesis: e is rational
then ex c being Element of COMPLEX st
( e = - c & c in A ) ;
hence e is rational ; :: thesis: verum