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