let e be object ; :: according to MEMBERED:def 4 :: thesis: ( not e in A ** B or e is rational )
assume e in A ** B ; :: thesis: e is rational
then ex c1, c2 being Complex st
( e = c1 * c2 & c1 in A & c2 in B ) ;
hence e is rational ; :: thesis: verum